Linear Hybrid Deterministic Dynamic Modeling for Time-to-Event Processes: State and Parameter Estimations
نویسندگان
چکیده
منابع مشابه
Deterministic Dynamic Monitors for Linear-Time Assertions
We describe a framework for dynamic verification of temporal assertions based on assertion compilation into deterministic automata. The novelty of our approach is that it allows efficient dynamic verification of general linear temporal formulas written in formal property specification languages such as LTL, ForSpec, PSL, and SVA, while the existing approaches are applicable to limited subsets o...
متن کاملPolynomial-Chaos-Based Bayesian Approach for State and Parameter Estimations
Two new recursive approaches have been developed to provide accurate estimates for posterior moments of both parameters and system states while making use of the generalized polynomial-chaos framework for uncertainty propagation. The main idea of the generalized polynomial-chaos method is to expand random state and input parameter variables involved in a stochastic differential/difference equat...
متن کاملConcepts and Tests for Trend in Recurrent Event Processes
Interest in the presence and nature of trend arises frequently in science, public health, technology, and many other areas. In this ar- ticle we discuss the notion of trend in the context of recurrent event processes. We discuss different frameworks within which one can inves- tigate trend and consider various ways in which trends may be manifest. Tests for trend are discussed in detail and t...
متن کاملParameter estimation for periodic discrete event processes
Methods for estimating the pulse repetition interval and the pulse time-of-arrival jitter variance of a periodic pulse train (PT) are given. The estimators operate on data comprising a set of pulse time-of-arrival measurements which are corrupted by additive noise (timing jitter). Parameter estimators are formulated using two jitter models common to PT applications. The estimators include a clo...
متن کاملDynamic Modeling and Parameter Identification for Biological Networks: Application to the DNA Damage and Repair Processes
DNA damage and repair processes are key cellular phenomena that are being intensely studied because of their implications in the onset and therapy of cancer. This chapter introduces a general dynamic model of gene expression, and proposes a genetic network modeling framework based on the interconnection of a continuous-time model and a hybrid model. This strategy is applied to a network built a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Statistics and Probability
سال: 2016
ISSN: 1927-7040,1927-7032
DOI: 10.5539/ijsp.v5n6p32